➀ Tobias Ludwig discusses his journey in electronic design automation and the founding of LUBIS EDA; ➁ The challenges and inefficiencies in traditional formal verification processes; ➂ LUBIS EDA's innovative approach to automating and simplifying formal verification using AI techniques.